Software Testing, Verification, And Validation

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science - Band 15222

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Lecture Notes in Computer Science - Band 15221

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Lecture Notes in Computer Science - Band 15223

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science - Band 15220

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science - Band 15219

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Lucjan Stapp, Adam Roman, Michaël Pilaeten, Werner Henschelchen
ISTQB® Certified Tester Foundation Level

Dieses Buch richtet sich an alle, die sich auf die Prüfung ISTQB® Certified Tester - Foundation Level auf der Grundlage des im Jahr 2023 veröffentlichten Foundation Level Lehrplans (Version 4.0) vorbereit…

lieferbar ab 12.7.2025.

Buch

Testing Software and Systems

This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held in London, UK, during October 30-November 1, 2024.The 17 f…

lieferbar innerhalb 2-3 Wochen

Buch

William L Oberkampf, Christopher J Roy
Verification, Validation, and Uncertainty Quantification in Scientific Computing

"This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework pr…

lieferbar innerhalb 1-2 Wochen

Buch

Development and Testing of Vehicle Software and its Influence on Sustainable Transport

This book evaluates the contributions of the electronic control unit software of an electric vehicle on sustainability and society, such as the reduction of emissions during a product design and the impro…

lieferbar innerhalb 2-3 Wochen

Buch

Johannes Kuhlmann
The Debugging Handbook

Learn dozens of tried-and-true strategies to find and fix coding mistakes with this efficient debugging guide that slashes the time required for this tedious task.Most programmers dread debugging, but it …

lieferbar ab 30.9.2025.

Buch

Robert Myers
Essential Test-Driven Development

Essential Test-Driven Development will help you discover how TDD helps developers take back the joy of software development, as you glimpse of the future of TDD and software development as a profession. L…

lieferbar ab 11.11.2025.

Buch

Harry Percival
Test-Driven Development with Python

The third edition of this trusted guide demonstrates the practical advantages of test-driven development (TDD) with Python and describes how to develop a real web application. You'll learn how to write an…

lieferbar ab 31.8.2025.

Buch

Adrienne Braganza
Looks Good to Me

From the back cover:"Looks Good To Me" is a comprehensive guide to code reviews. It's perfect for any stage of your process--whether you're improving your practices, setting up a new review syst…

lieferbar innerhalb 1-2 Wochen

Buch

Mark Winteringham
Software Testing with Generative AI

From the back cover:Software Testing with Generative AI shows you how AI can elevate every aspect of testing--automation, test data management, test scripting, exploratory testing, and more! Learn how to …

lieferbar innerhalb 1-2 Wochen

Buch

Bernard Homès
Fundamentals of Software Testing

Software testing has greatly evolved since the first edition of this book in 2011. Testers are now required to work in "agile" teams and focus on automating test cases. It has thus been necessar…

lieferbar innerhalb 1-2 Wochen

Buch

James Bach, Michael Bolton
Taking Testing Seriously

Elevate your software testing approach with a methodology from industry leaders who dedicated their careers to studying, practicing, and teaching the craft of testing.Dive into the world of expert softwar…

lieferbar ab 3.9.2025.

Buch

Tanya Janca
Alice and Bob Learn Secure Coding

Unlock the power of secure coding with this straightforward and approachable guide!Discover a game-changing resource that caters to developers of all levels with Alice and Bob Learn Secure Coding. With a …

lieferbar innerhalb 1-2 Wochen

Buch

Martin Stefanko, Jan Martiska
Quarkus in Action

From the back cover:Crack open Quarkus in Action and you'll quickly see how Quarkus can streamline and speed up cloud native application development. You'll work hands-on from chapter one, as you build yo…

lieferbar innerhalb 1-2 Wochen

Buch

Ole Olesen-Bagneux
Fundamentals of Metadata Management

Whether it's to adhere to regulations, access markets by meeting specific standards, or devise data analytics and AI strategies, companies today are busy implementing metadata repositories--metadata tools…

Erscheint bald

Buch

Mark Buckwell, Stefaan van Daele, Carsten Horst
Security Architecture for Hybrid Cloud

As the transformation to hybrid multicloud accelerates, businesses require a structured approach to securing their workloads. Adopting zero trust principles demands a systematic set of practices to delive…

lieferbar innerhalb 1-2 Wochen

Buch

Trefferliste "Software Testing, Verification, And Validation" - alle Bücher